" Stephan Merz" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

2.18 Mb

#2

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Fred Kroger, Stephan Merz

Категория: Компьютеры

4.32 Mb

#3

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)

Dominique Méry, Stephan Merz

4.41 Mb

#4

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings

Dominique Méry; Stephan Merz

Категория: Cs_Computer science, CsLn_Lecture notes

4.46 Mb

#5

Formal Systems Specification: The RPC-Memory Specification Case Study

Manfred Broy, Stephan Merz, Katharina Spies

4.41 Mb